Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Theorem Proving in Higher Order Logics, 9 conf., TPHOLs'96

 Автор: , Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.17 Mb

Theorem Proving in Higher Order Logics, 11 conf., TPHOLs'98

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.64 Mb